Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
811	Microsoft PowerPoint - all-lectures-markt07 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-08-04 08:21:38 Mathematical logic Mathematics Science Metalogic Kripke structure Well-formed formula Symbolic trajectory evaluation Linear temporal logic Logic Model checking Temporal logic
812	ILX522K 2048 x 2-pixel CCD Linear Sensor (Color) Descriptions Add to Reading List Source URL: www.es10.com.ar Language: English - Date: 2007-11-10 09:21:22 Digital electronics Logic families IC power supply pin Nuclear Instrumentation Module CMOS Electronic engineering Integrated circuits Electronics
813	Amos Ron Lectures Notes, Math887 09may03 Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2003-05-09 12:07:54 Golden ratio Hahn–Banach theorem Distribution Dual space Linear temporal logic Μ operator Mathematical analysis Functional analysis Mathematics
814	Amos Ron Lectures Notes, Math887 05may03 Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2003-05-05 15:56:18 Hilbert space Linear algebra Mathematics Spectral theory Generalized functions Μ operator Linear temporal logic Operator theory Physics Mathematical analysis
815	Inductive Classes of Finite Models Steven Lindell Haverford College Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:05 Model theory Constructible universe Function Compactness theorem Μ operator Linear temporal logic Mathematics Mathematical logic Logic
816	A generic set that does not bound a minimal pair Mariya Ivanova Soskova Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2007-01-18 08:22:46 Mathematics Functional analysis Ordinal numbers Set theory Curry–Howard correspondence Theorems and definitions in linear algebra Constructible universe Symbol Mathematical logic
817	Bull. London Math. Soc[removed]–302 ❡ 2004 London Mathematical Society C Add to Reading List Source URL: www.math.uoc.gr Language: English - Date: 2004-05-03 07:37:10 Lie algebras Lie groups Weyl group Root system Golden ratio Arrangement of hyperplanes Linear temporal logic Golden ratio base Abstract algebra Mathematics Geometry
818	Probability in the Engineering and Informational Sciences, 25, 2011, 171–185. doi:[removed]S0269964810000331 Add to Reading List Source URL: www.math.wsu.edu Language: English - Date: 2011-04-01 00:21:28 Functional analysis Function Sheaf Diagonal lemma Linear temporal logic Mathematics Mathematical analysis Distribution
819	WSAA 31 Peter Eliaš On inclusions between Arbault sets In: Bohuslav Balcar and Ondřej F. K. Kalenda and Miroslav Zelený (eds.): Proceedings of the 31st Winter School on Abstract Analysis. Charles University, Praha, 2 Add to Reading List Source URL: www.saske.sk Language: English - Date: 2012-02-20 06:06:19 Logic in computer science Integer sequences Polynomials Transforms Limit superior and limit inferior Theorems and definitions in linear algebra Mathematics Combinatory logic Lambda calculus
820	Equational Abstractions Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-07-04 15:14:58 Temporal logic Model theory Symbol Unification Modal logic Μ operator Normal distribution Logic Mathematical logic Linear temporal logic

UPDATE